home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / basicforms / Grid.T next >
Encoding:
Text File  |  1994-08-02  |  2.0 KB  |  52 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.9, 0.9, .invisible, .L0, "1");
  3. v2 = .free(0.9, 0.9, .invisible, .L0, "2");
  4. v3 = .free(0.9, -0.9, .invisible, .L0, "3");
  5. v4 = .free(-0.9, -0.9, .invisible, .L0, "4");
  6. v5 = .v.vvmid(v1, v2, .invisible, .L0, .plus);
  7. v6 = .v.vvmid(v2, v5, .invisible, .L0, .plus);
  8. v7 = .v.vvmid(v6, v5, .invisible, .L0, .plus);
  9. v8 = .v.vvmid(v6, v2, .invisible, .L0, .plus);
  10. v9 = .v.vvmid(v5, v1, .invisible, .L0, .plus);
  11. v10 = .v.vvmid(v1, v9, .invisible, .L0, .plus);
  12. v11 = .v.vvmid(v9, v5, .invisible, .L0, .plus);
  13. v12 = .v.vvmid(v2, v3, .invisible, .L0, .plus);
  14. v13 = .v.vvmid(v3, v12, .invisible, .L0, .plus);
  15. v14 = .v.vvmid(v12, v13, .invisible, .L0, .plus);
  16. v15 = .v.vvmid(v13, v3, .invisible, .L0, .plus);
  17. v16 = .v.vvmid(v12, v2, .invisible, .L0, .plus);
  18. v17 = .v.vvmid(v2, v16, .invisible, .L0, .plus);
  19. v18 = .v.vvmid(v16, v12, .invisible, .L0, .plus);
  20. v19 = .v.vvmid(v3, v4, .invisible, .L0, .plus);
  21. v20 = .v.vvmid(v4, v19, .invisible, .L0, .plus);
  22. v21 = .v.vvmid(v19, v20, .invisible, .L0, .plus);
  23. v22 = .v.vvmid(v20, v4, .invisible, .L0, .plus);
  24. v23 = .v.vvmid(v4, v1, .invisible, .L0, .plus);
  25. v24 = .v.vvmid(v1, v23, .invisible, .L0, .plus);
  26. v25 = .v.vvmid(v23, v24, .invisible, .L0, .plus);
  27. v26 = .v.vvmid(v24, v1, .invisible, .L0, .plus);
  28. v27 = .v.vvmid(v23, v4, .invisible, .L0, .plus);
  29. v28 = .v.vvmid(v4, v27, .invisible, .L0, .plus);
  30. v29 = .v.vvmid(v27, v23, .invisible, .L0, .plus);
  31. v30 = .v.vvmid(v19, v3, .invisible, .L0, .plus);
  32. v31 = .v.vvmid(v3, v30, .invisible, .L0, .plus);
  33. v32 = .v.vvmid(v30, v19, .invisible, .L0, .plus);
  34. l1 = .l.vv(v10, v22, .L0);
  35. l2 = .l.vv(v20, v9, .L0);
  36. l3 = .l.vv(v11, v21, .L0);
  37. l4 = .l.vv(v19, v5, .L0);
  38. l5 = .l.vv(v7, v32, .L0);
  39. l6 = .l.vv(v30, v6, .L0);
  40. l7 = .l.vv(v8, v31, .L0);
  41. l8 = .l.vv(v3, v2, .L0);
  42. l9 = .l.vv(v1, v4, .L0);
  43. l10 = .l.vv(v4, v3, .L0);
  44. l11 = .l.vv(v15, v28, .L0);
  45. l12 = .l.vv(v27, v13, .L0);
  46. l13 = .l.vv(v14, v29, .L0);
  47. l14 = .l.vv(v23, v12, .L0);
  48. l15 = .l.vv(v18, v25, .L0);
  49. l16 = .l.vv(v24, v16, .L0);
  50. l17 = .l.vv(v17, v26, .L0);
  51. l18 = .l.vv(v1, v2, .L0);
  52.